1561. Probability models for computer science
Author: Ross, Sheldon M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Probabilities,، Computer science-- Mathematics
Classification :
QA
273
.
R852
2002


1562. Probability models for computer science
Author: Sheldon M. Ross,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Probabilities,Computer science -- Mathematics
Classification :
QA
.
R852
273
2002


1563. Probability models for computer science
Author: / Sheldon M. Ross
Library: Library of College of Science University of Tehran (Tehran)
Subject: Probabilities,Computer science -- Mathematics
Classification :
QA
273
.
R852
2002


1564. Probability with R
Author: / Jane M. Horgan
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science, Mathematics,Probabilities,R (Computer program language)
Classification :
QA76
.
9
.
M35
,
H863
2009


1565. Probability with R :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics. ; Probabilities. ; R (Computer program language) ;

1566. Probability with R
Author: Jane Mary Horgan.,Horgan, Jane M.,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science,Probabilities.,R (Computer program language),Mathematics.

1567. Probability with R: an introduction with computer science applications
Author: Horgan, Jane M.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics ، Computer science,، Probabilities,، R )Computer program language(
Classification :
QA
76
.
9
.
M35
H863
2009


1568. Probability with R: an introduction with computer science applications
Author: Horgan, Jane M.
Library: Central Library and Documentation Center (Golestan)
Subject: ، Computer science -- Mathematics,، Probabilities,، R )Computer program language(
Classification :
QA
76
.
9
.
M35
H863


1569. Problems & Solutions in Scientific Computing
Author: \ Willi-Hans Steeb ... [et al.].
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Numerical analysis -- Computer programs -- Problems, exercises, etc,Science -- Mathematics -- Computer programs -- Problems, exercises, etc,آنالیز عددی -- برنامههای کامپیوتری -- مسائل، تمرینها و غیره ,علوم -- ریاضیات -- برنامههای کامپیوتری -- مسائل، تمرینها و غیره
Classification :
E-Book
,

1570. Problems & solutions in scientific computing
Author: / Willi-Hans Steeb ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Numerical analysis--Computer programs--Problems, exercises, etc.,Science--Mathematics--Computer programs--Problems, exercises, etc.,C++ (Computer program language--Simulation methods,Java (Computer program language--Simulation methods

1571. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
Classification :
QA
76
.
9
.
M35
S94
1994


1572. Proceedings of the fifth International Conference on Mathematics and Computing :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;

1573. Proceedings of the 22nd International Meshing Roundtable
Author: Sarrate , Josep,Josep Sarrate; Matthew Staten
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Engineering,، Appl.Mathematics/Computational Methods of Engineering,، Math Applications in Computer Science
Classification :
T

1574. Proceedings of the sixth International Conference on Mathematics and Computing :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;

1575. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
Author: / Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...[et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science -- Mathematics -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
M35
S94
2004


1576. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
Author: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
75
.
5
.
I38
2000


1577. Process Algebra for Parallel and Distributed Processing
Author:
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science

1578. Process Machine Interaction
Author: / edited by Berend Denkena, Ferdinand Hollmann
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Computer science,Engineering mathematics,Vibration,Machinery,Electronic books
Classification :
E-BOOK

1579. Process algebra with timing
Author: by J.C.M. Baeten, C.A. Middelburg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Discrete-time systems.,System design.
Classification :
QA76
.
9
.
S88
B953
2011


1580. Process algebra with timing
Author: / J.C.M. Baeten, C.A. Middelburg
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: System design,Discrete-time systems,Computer science -- Mathematics
Classification :
QA
76
.
9
.
S88B32
2002

